Correction to: Kurt Gödel
نویسندگان
چکیده
In the original version of book, following belated corrections have been made.
منابع مشابه
Kurt Gödel , ‘ Über formal unentscheidbare
First publication: Monatshefte für Mathematik und Physik, 37, 173–198 Reprints: S. Feferman et al., eds., Kurt Gödel. Collected Works. Volume I: Publications 1929–1936. New York: Oxford University Press, 1986, pp. 116–195. Translations: English translations: ‘On formally undecidable propositions of Principia mathematica and related systems I.’ Translation by B. Meltzer, On Formally Undecidable ...
متن کاملKurt Gödel and Computability Theory
Although Kurt Gödel does not figure prominently in the history of computabilty theory, he exerted a significant influence on some of the founders of the field, both through his published work and through personal interaction. In particular, Gödel’s 1931 paper on incompleteness and the methods developed therein were important for the early development of recursive function theory and the lambda ...
متن کاملOn the philosophical development of Kurt Gödel
Contents 1. Introduction 426 2. G ¨ odel's position in the 1950's—a stalemate 428 2.1. Inconclusive arguments 428 2.2. Realism and rationalism 430 2.3. Epistemological parity 434 2.4. A way out? 437 3. G ¨ odel's turn to Husserl's transcendental idealism 439 3.1. Varieties of idealism 439 3.2. G ¨ odel and German Idealism 440 3.3. The turn to Husserl's transcendental idealism 443 3.4. G ¨ odel'...
متن کاملTwo Moments in the Philosophical Life of Kurt Gödel Juliette
We examine two sets of Gödel’s writings, from the very beginning of his philosophical life, and from the end of it, to wit: some remarks from the introduction to his 1929 thesis, written when Gödel was 22 years of age; we will also take up some remarks Gödel made about the Euthyphro, one of the so-called “Socratic” dialogues of Plato, in the course of a discussion with the proof theorist Sue To...
متن کاملGödel : The Completeness and Incompleteness The - orems Kurt
Gödel: The Completeness and Incompleteness Theorems Kurt Gödel (1906–1978) 1930-The completeness of first-order logic 1931-On formally undecidable statements of Principia Mathematica and related systems I Gödel's first paper proves the completeness of the axioms and rules of first-order logic, essentially as given in Hilbert and Ackermann. There has been much discussion as to why Skolem (or Her...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Springer biographies
سال: 2023
ISSN: ['2365-0621', '2365-0613']
DOI: https://doi.org/10.1007/978-3-031-11309-3_21